Theorem 7.2 Angles opposite to equal sides of an isosceles triangle are equal